Petriejev mnogokotnik za pravilne politope z razsežnostjo je nagnjeni mnogokotnik v katerih vsaka zaporedna stranica (n - 1) pripada eni od facet. Petriejev mnogokotnik pravilnega mnogokotnika je sam po sebi pravilen mnogokotnik. Tako je za pravilni polieder nagnjeni mnogokotnik tisti, ki mu za vsaki dve zaporedni stranici (ne pa tri) pripada ena od stranskih ploskev.[1]
Za vsak pravilni politop obstaja pravokotna projekcija na ravnino tako, da Petriejev mnogokotnik postane pravilni mnogokotnik.
Petriejevi mnogokotniki so neravninski mnogokotniki, katerih robovi so podmnožica robov poliedrov.[2]
Ravnina, ki se jo obravnava, je Coxeterjeva ravnina s simetrijsko grupo mnogokotnika in s številom stranic , ki so Coxeterjeva števila Coxeterjeve grupe. Ti mnogokotniki in projicirani grafi so zelo uporabni za predstavo o strukturi simetrije za politope v višjih razsežnostih.